|
|
Support for NUMA hardware in HelenOS
Horký, Vojtěch ; Děcký, Martin (vedoucí práce) ; Libič, Peter (oponent)
Cílem této diplomové práce je rozšířit operační systém HelenOS o podporu ccNUMA hardwaru. Text práce obsahuje stručný úvod do problematiky ccNUMA, přehled vlastností NUMA hardwaru a přehled vlastností HelenOS spojených s touto problematikou (správa paměti, plánování atd.). Práce analyzuje rozhodnutí při návrhu implementace podpory pro NUMA počítače -- zavádí reprezentace topologie do datových struktur jádra, zpřístupnění těchto informací do uživatelské prostoru, afinita vláken k procesorům a uzlům, politiky alokace paměti či vyvažování zátěže. Práce též popisuje prototypovou implementaci podpory ccNUMA v HelenOsu na platformě AMD64 and stručné srovnání s podporou ccNUMA v jiných monolitických i mikrojaderných operačních systémech.
|
|
|
Read-Copy-Update for HelenOS
Hraška, Adam ; Děcký, Martin (vedoucí práce) ; Podzimek, Andrej (oponent)
Rozšírenie viacjadrových procesorov zvýšilo záujem o škálovateľné synchronizačné primitíva ako je Read-Copy Update. Zatiaľčo RCU je populárne v monolitických kerneloch operačných systémov, doposiaľ nebolo nasadené v prostredí mikrokernelov. V práci navrhneme a implementujeme RCU pre mikrokernelový operačný systém HelenOS. Navyše preskúmame možnosti použitia RCU v HelenOSe a demonštrujeme užitočnosť RCU tak v kerneli ako aj v user space. Merania ukazujú, že implementované RCU poskytuje lineárnu škálovateľnosť RCU čitateľov a RCU vyžaduje omnoho nižšiu réžiu pri vstupe do chránenej sekcie ako bežné zámky a to i v ideálnom prípade pre zámky. RCU sme využili v user space na 2.6 násobné zrýchlenie tradičných zámkov. V kerneli RCU zabezpečilo lineárnu škálovateľnosť futexového podsystému. Powered by TCPDF (www.tcpdf.org)
|
|
|
Port HelenOS pro hypervisor Xen
Benhák, Tomáš ; Děcký, Martin (vedoucí práce) ; Tůma, Petr (oponent)
Cílem práce je port operačního systému HelenOS pro paravirtualizovaný běh pod hypervisorem Xen na platformě IA-32. Výstupem práce je prototypová implementace, která umožňuje běh systému HelenOS jako PV guest pod hypervisorem Xen. Práce analyzuje rozhraní hypervisoru Xen z hlediska paravirtualizovaného operačního systému, který pod hypervisorem běží, relevantní části jádra systému HelenOS a změny v těchto částech, které paravirtualizace vyžaduje.
|
|
|
IEEE 802.11 wireless networking for HelenOS
Kolárik, Jan ; Děcký, Martin (vedoucí práce) ; Mareš, Martin (oponent)
IEEE 802.11 (alias WiFi) je populární standard pro bezdrátové LAN sítě. Tato práce dokumentuje jeho implementaci v rámci výzkumného operačního systému HelenOS, který se od tradičních systémů liší tím, že je postavený na mikrojádrové architektuře. Nejprve jsou popsány obecné koncepty WiFi technologie. Následuje popis použitých nástrojů při vývoji práce. Společně s ním je znázorněna zvolená metoda integrace bezdrátového frameworku do současného systému. V další kapitole jsou rozebrány implementační detaily práce. Zde je důkladně vysvětlena struktura ovladače pro vybrané WiFi zařízení a popsána funkcionalita IEEE 802.11 knihovny. V závěru práce je pak zhodnocení výsledných vlastností a porovnání dodané implementace s již existujícími řešeními.
|
|
|
HelenOS VFS-FUSE connector
Bouška, Zdeněk ; Děcký, Martin (vedoucí práce) ; Tůma, Petr (oponent)
Tato magisterská práce se zabývá implementací konektoru mezi FUSE ovladači souborových systémů a nativním VFS rozhraním v HelenOS. Práce nejprve popisuje možné způsoby řešení a možnosti, které přicházely v úvahu. Zvoleno bylo napojení na nízkoúrovňové vrstvě, které se prokázalo jako nejlepší. Práce dále popisuje skutečnou implementaci tohoto konektoru. Implementace byla úspěšná, a proto se práce detailně zaměřuje na toto plně funkční řešení na HelenOS operačním systému. Dané řešení mimo jiné umožňuje to, že téměř nejsou potřebné změny na obou spojovaných platformách - FUSE i Helenos VFS. Implementace konektoru ukazuje dva reálně používané FUSE souborové systémy exFAT a NTFS na operačním systému HelenOS. Powered by TCPDF (www.tcpdf.org)
|
|
|
IPv6 for HelenOS
Steinhauser, Antonín
Tato práce rozšiřuje operační systém HelenOS o podporu nového IPv6 protokolu. Implementace protokolu IPv6 je na stejné úrovni jako dřívější implementace IPv4 protokolu. Síťový stack HelenOS nyní nabízí tři módy práce se sítí: užívání pouze IPv4 protokolu, užívání pouze IPv6 protokolu a duální mód, který umožňuje používat oba protokoly najednou. Práce popisuje předchozí stav síťového stacku HelenOS, analyzuje rozdíly mezi IPv4 protokolem a IPv6 protokolem a zdůvodňuje jednotlivá strategická rozhodnutí. Posléze popisuje použité implementační a ladící metody, shrnuje výsledky práce a srovnává HelenOS s jinými mikrojadernými operačními systémy co do podpory IPv6. 1
|
|
|
HelenOS routing and porting of BIRD
Gálfy, Stanislav ; Děcký, Martin (vedoucí práce) ; Mareš, Martin (oponent)
Schopnost routovat může být považována za jednu z klíčových vlastností moderního víceúčelového operačního systému, kterým se HelenOS snaží být. Cílem této práce je prozkoumat stávajíci routovací schopnosti HelenOSu, vylepšit je a posílit HelenOS BIRDem. Díky BIRDu, HelenOS se stane routovacím operačním systémem, který si je vědom svého okolí a je schopen dynamicky se přizpůsobit změnám v síti, které je součástí.
|
|
|
HelenOS routing and porting of BIRD
Gálfy, Stanislav ; Děcký, Martin (vedoucí práce) ; Mareš, Martin (oponent)
Schopnost routovat může být považována za jednu z klíčových vlastností moderního víceúčelového operačního systému, kterým se HelenOS snaží být. Cílem této práce je prozkoumat stávajíci routovací schopnosti HelenOSu, vylepšit je a posílit HelenOS BIRDem. Díky BIRDu, HelenOS se stane routovacím operačním systémem, který si je vědom svého okolí a je schopen dynamicky se přizpůsobit změnám v síti, které je součástí.
|
|
|
HelenOS packet filter
Buchar, Jan ; Děcký, Martin (vedoucí práce) ; Horký, Vojtěch (oponent)
Schopnost filtrovat pakety je nutnou součástí každého operačního systému určeného k použití na síťových směrovačích nebo branách. Cílem této práce je rozšířit operační systém HelenOS o podporu filtrování paketů. Práce se zabývá analýzou paketových filtrů dostupných v moderních operačních systémech a implementací HelenOS služby poskytující nastavitelný a rozšiřitelný paketový filtr. Dále modifikuje síťový stack HelenOSu tak, aby libovolná služba mohla fungovat jako paketový filtr. Rozšiřitelnost programu je demonstrována na jednoduché variantě mechanismu NAT. Powered by TCPDF (www.tcpdf.org)
|
|
|
Application of Software Components in Operating System Design
Děcký, Martin ; Tůma, Petr (vedoucí práce) ; Döbel, Björn (oponent) ; Sojka, Michal (oponent)
Tato doktorská práce popisuje primární cíl mikrojádrového multiserverového operačního systému HelenOS. Primárním cílem projektu HelenOS je vytvoření komplexní výzkumné a vývojové platformy pro doménu obecných operačních systémů, která by podporovala nejmodernější přístupy a metody (například verifikaci správnosti) a současně kladla důraz na praktickou relevanci. Text práce popisuje jaké konkrétní prostředky návrhu (založené na softwarových komponentách), implementace, vývojového procesu a verifikace, které jsou použity pro dosažení primárního cíle. Text práce dále hodnotí současný stav projektu HelenOS. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.